constructive propositional calculus перевод

• конструктивное исчисление высказываний, конструктивное пропозициональное исчисление

• constructive:    1) строительный, относящийся к сооружениям2) строительный3) конструкторский4) созидательный, творческий, конструктивный Ex: constructive criticism конструктивная критика5) предполагаемый, подразумев
• propositional:    пропозициональный alphabet of propositional calculus ≈ алфавитисчисления высказываний, алфавит нулевого порядка classicalpropositional calculus ≈ классическое исчисление высказываний,классическое пр
• propositional calculus:    лог. пропозициональное исчисление, исчисление высказываний
• calculus:    1) _мат. исчисление Ex: the (differential) calculus дифференциальное исчисление Ex: calculus of probabilities исчисление вероятностей Ex: calculus of variation вариационное исчисление2) калькуляция3
• constructive calculus:    мат. конструктивное исчисление
• extended propositional calculus:    матем. расширенное исчисление высказываний, расширенное пропозициональное исчисление
• many-valued propositional calculus:    многозначное пропозициональное исчисление
• minimal propositional calculus:    минимальное исчисление высказываний, минимальное пропозициональное исчисление
• modal propositional calculus:    модальное исчисление высказываний, модальное пропозициональное исчисление
• multivalued propositional calculus:    многозначное исчисление высказываний, многозначное пропозициональное исчисление
• partial propositional calculus:    частное исчисление высказываний, частное пропозициональное исчисление
• positive propositional calculus:    позитивное исчисление высказываний, позитивное пропозициональное исчисление
• proper propositional calculus:    собственное исчисление высказываний, собственное пропозициональное исчисление
• two-valued propositional calculus:    двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление
• constructive predicate calculus:    логика конструктивное исчисление предикатов